Reachability Monitoring and Verification in Enterprise Networks

Enforcing correct reachability is crucial for an enterprise network to achieve access control, privacy, security and so on. Many sophisticated mechanisms such as router ACLs and firewalls have been developed to enforce the desired reachability. In addition, many other factors such as network dynamics can also impact the network reachability. Thus it is challenging to configure the reachability correctly. Therefore, the ability to monitor and verify network reachability becomes valuable for many tasks such as verifying the original intent of the network administrator and troubleshooting reachability problems. In this poster, we present efficient algorithms to monitor and verify the reachability of all-pairs nodes